Background, Reserve, and Gandy Machines

نویسندگان

  • Andreas Blass
  • Yuri Gurevich
چکیده

The reserve of a state of an abstract state machine was defined to be a “naked set”. In applications, it may be convenient to have tuples, sets, lists, arrays, etc. defined ahead of time on all elements, including the reserve elements. We generalize the notion of reserve appropriately. As an application, we solve a foundational problem in Gandy’s formalization of mechanical devices. Part

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Causal sets for geometrical Gandy machines and Gandy machines over multisets

A new approach to the computational complexity beyond the known complexity measures of the consumed time and space of computation is proposed. The approach focuses on the chaotic behaviour and randomness aspects of computational processes and bases on a representation of these processes by causal sets. The abstract systems allowing some synchronized parallelism of computation are investigated w...

متن کامل

Epithermal Gold and Base Metal Mineralization at Gandy Deposit, North of Central Iran and the Role of Rhyolitic Intrusions

The Gandy gold-base metal deposit is located in Tertiary Torud-Chahshirin volcano-plutonic range, north of Central Iran. Various styles of gold mineralization occur throughout the range. Mineralization at Gandy occurs in close spatial relation with rhyolitic domes in a caldera setting in a series of narrow brecciated veins. Two mineralogically and spatially different argillic alterations have a...

متن کامل

Church Without Dogma: Axioms for Computability

Church’s and Turing’s theses assert dogmatically that an informal notion of effective calculability is adequately captured by a particular mathematical concept of computabilty. I present analyses of calculability that are embedded in a rich historical and philosophical context, lead to precise concepts, and dispense with theses. To investigate effective calculability is to analyze processes tha...

متن کامل

What Is an Algorithm?

0 Preamble We present a two-part exposition on the notion of algorithm and foun-dational analyses of computation. The first part is below, and the second is here: In the first part, after a short introduction, we clarify some common misconceptions related to Turing's analysis of computation, consider whether the notion of algorithm can be rigorously defined in full generality, discuss what kind...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000